Extended Model Relations with Graphical Consistency Conditions
نویسندگان
چکیده
Consistency of models and model transformations are strongly interrelated topics. It is thus desirable to have a single notation to express model properties concerning both aspects. When using meta modeling techniques, graph transformations are a natural candidate to express model transformations. This paper explores the use of graph transformations for denoting consistency conditions between models. This technique yields benefits for different types of interrelation between transformation and consistency. A special focus is put on the generation of automatic consistency-establishing transformations.
منابع مشابه
0 O ct 1 99 4 DAMTP 94 / 12 Conserved Currents , Consistency Relations and Operator Product Expansions in the Conformally Invariant O ( N ) Vector Model
We discuss conserved currents and operator product expansions (OPE’s) in the context of a O(N) invariant conformal field theory. Using OPE’s we find explicit expressions for the first few terms in suitable short-distance limits for various four-point functions involving the fundamental N -component scalar field φα(x), α = 1, 2, .., N . We propose an alternative evaluation of these four-point fu...
متن کاملMarginal Causal Consistency in Constraint-based Causal Learning
Maximal Ancestral Graphs (MAGs) are probabilistic graphical models that can model the distribution and causal properties of a set of variables in the presence of latent confounders. They are closed under marginalization. Invariant pairwise features of a class of Markov equivalent MAGs can be learnt from observational data sets using the FCI algorithm and its variations (such as conservative FCI...
متن کاملInter-Modelling with Graphical Constraints: Foundations and Applications
Model-Driven Engineering (MDE) promotes an active use of models in the different phases of the development, so that the construction of systems usually involves a number of models expressed in different languages and levels of abstraction; therefore, there is the constant need to compare, generate and update models and their relations. We call inter-modelling to the activity of building models ...
متن کاملExtended Bayesian Information Criteria for Gaussian Graphical Models
Gaussian graphical models with sparsity in the inverse covariance matrix are of significant interest in many modern applications. For the problem of recovering the graphical structure, information criteria provide useful optimization objectives for algorithms searching through sets of graphs or for selection of tuning parameters of other methods such as the graphical lasso, which is a likelihoo...
متن کاملar X iv : 0 90 3 . 25 15 v 1 [ m at h . ST ] 1 3 M ar 2 00 9 Adaptive Lasso for High Dimensional Regression and Gaussian Graphical Modeling
We show that the two-stage adaptive Lasso procedure (Zou, 2006) is consistent for high-dimensional model selection in linear and Gaussian graphical models. Our conditions for consistency cover more general situations than those accomplished in previous work: we prove that restricted eigenvalue conditions (Bickel et al., 2008) are also sufficient for sparse structure estimation.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002